Faster, higher, stronger

Smarter , Faster , Stronger

Today's business pressures require manufacturers to optimize the availability and performance of process systems to stay competitive. Getting higher quality product out the manufacturing door has forced many to rethink process measurement systems. Devices that obtain analytical information from process streams are becoming smaller and more rugged, while providing better connectivity to plant in...

Labelled Markov Processes: Stronger and Faster Approximations

This paper proposes a measure-theoretic reconstruction of the approximation schemes developed for Labelled Markov Processes: approximants are seen as quotients with respect to sets of temporal properties expressed in a simple logic. This gives the possibility of customizing approximants with respect to properties of interest and is thus an important step towards using automated techniques inten...

Image Semantic Transformation: Faster, Lighter and Stronger

We propose Image-Semantic-Transformation-ReconstructionCircle(ISTRC) model, a novel and powerful method using facenet’s Euclidean latent space to understand the images. As the name suggests, ISTRC construct the circle, able to perfectly reconstruct images. One powerful Euclidean latent space embedded in ISTRC is FaceNet’s last layer with the power of distinguishing and understanding images. Our...

Better, Faster, Stronger: Global Innovation and Trade Liberalization∗

This paper investigates the effect of improved market access on worldwide innovation. Using exogenous changes in tariffs in firms’ export markets during the 1990s, we find a large effect of tariff cuts on innovation as measured by patent data. These effects are not driven by the deterioration of innovation quality, and the results are robust to controlling for changes in the patent system and t...

Better, Faster, Stronger: Building a Better Dublin Core Generator